ASYNCHRONOUS MODELING OF NCES-NETWORKS 

Dubinin Viktor Nikolaevich, Candidate of technical sciences, associate professor, sub-department of computer science, Penza State University 

519.715 

In the paper questions of asynchronous modelling of net condition/event systems (NCES) using a formalism based on Petri nets, are considered. Rules for transforming NCES to the asynchronous model are represented. The suggested method is illustrated by an example. The asynchronous modelling is considered as the starting point to formal verification of NCES by means of the model checking method. 

asynchronous modelling, net condition/event systems, Petri nets, model checking, model transformation.